<HTML><HEAD><TITLE>alldifferent(+Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>alldifferent(+Vars)</H1>
Constrains all elements of a list to be pairwise different.
<DL>
<DT><EM>Vars</EM></DT>
<DD>A collection (a la collection_to_list/2) of variables or integers
</DD>
</DL>
<H2>Description</H2>
<P>
   Constrains all elements of a collection to be pairwise different (and
   integral).  Effectively imposes #\= constraints on every pair of
   elements from Vars.</P>

<H2>See Also</H2>
<A HREF="../../lib/ic/HRE-2.html">#\= / 2</A>, <A HREF="../../lib/ic_symbolic/alldifferent-1.html">ic_symbolic : alldifferent / 1</A>, <A HREF="../../lib/fd_global/alldifferent-1.html">fd_global : alldifferent / 1</A>, <A HREF="../../lib/sd/alldifferent-1.html">sd : alldifferent / 1</A>, <A HREF="../../lib/fd/alldifferent-1.html">fd : alldifferent / 1</A>, <A HREF="../../lib/ic_global/alldifferent-1.html">ic_global : alldifferent / 1</A>, <A HREF="../../lib_public/ic_global_gac/alldifferent-1.html">ic_global_gac : alldifferent / 1</A>, <A HREF="../../lib/lists/collection_to_list-2.html">lists : collection_to_list / 2</A>
</BODY></HTML>
